flat morphism造句

See flat module or, for more generality, flat morphism.
Let f : X'\ to X be a finite flat morphism.
The concept of 閠ale morphism ( and so 閠ale cohomology ) depends on the flat morphism concept : an 閠ale morphism being flat, of finite type, and unramified.
This is actually foundational for the use of flatness in algebraic geometry, saying in particular that the inclusion of an open set in Spec ( " R " ) ( see spectrum of a ring ) is a flat morphism.
Another generalization states that a faithfully flat morphism of schemes f : Y \ to X locally of finite type with " X " quasi-compact has a " quasi-section ", i . e . there exists X'affine and faithfully flat and quasi-finite over " X " together with an " X "-morphism X'\ to Y
It's difficult to find flat morphism in a sentence. 用flat morphism造句挺难的